Algebras of Distributions of Binary Semi-isolating Formulas for Families of Isolated Types and for Countably Categorical Theories
نویسنده
چکیده
We apply a general approach for distributions of binary isolating and semi-isolating formulas to families of isolated types and to the class of countably categorical theories. Containing compositions and Boolean combinations, structures associated with binary formulas linking isolated types in general case and for ω-categorical theories are characterized. Mathematics Subject Classification: 03C07, 03G15, 20N02, 08A02, 08A55
منابع مشابه
POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملB -AND B - COMPLETENESS IN LOCALLY CONVEX ALGEBRAS AND THE E x THEOREM
Let E be a B-complete (B -complete) locally convex algebra and $ the topological direct sum of countably many copies of the scalar field with a jointly continuous algebra multiplication. It has been shown that E is also B-complete (B -complete) for componentwise multiplication on E . B-and Br-completeness of E , the unitization of E, and also of E x for other multiplications on E ...
متن کاملCategorical fracture orientation modeling: applied to an Iranian oil field
Fracture orientation is a prominent factor in determining the reservoir fluid flow direction in a formation because fractures are the major paths through which fluid flow occurs. Hence, a true modeling of orientation leads to a reliable prediction of fluid flow. Traditionally, various distributions are used for orientation modeling in fracture networks. Although they offer a fairly suitable est...
متن کاملNoetherianity in a class of first-order theories
We call a theory a Dedekind theory if every complete quantifier-free type with one free variable either has a trivial positive part or it is isolated by a positive quantifier-free formula. The theory of vector spaces and the theory fields are examples. We prove that in a Dedekind theory all positive quantifier-free types are principal so, in a sense, Dedekind theories are Noetherian. We show th...
متن کاملOn semi maximal filters in BL-algebras
In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...
متن کامل